1. Calculus of computation
پدیدآورنده : / Aaron R. Bradley, Zohar Manna.
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer logic,Computer programs--Verification
رده :
QA76
.
9
.
L63
,
B73
2010
2. Mathematical theory of computation
پدیدآورنده : Manna, Zohar
موضوع : ، Electronic digital computers -- Programming,، Debugging in computer science
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Mathematical theory of computation
پدیدآورنده : Manna, Zohar.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Debugging in computer science
رده :
QA
76
.
6
.
M356
4. Mathematical theory of computation
پدیدآورنده : / Zohar Manna
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
5. Studies in automatic programming logic
پدیدآورنده : Manna, Zohar.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic programming )Computer science(,، Computer programs
رده :
QA
76
.
6
.
M357
6. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
7. The Temporal Logic of Reactive and Concurrent Systems :
پدیدآورنده : by Zohar Manna, Amir Pnueli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
6
B996
1992
8. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
9. The logical basis for computer programming
پدیدآورنده : Manna, Zohar.
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
10. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
11. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
12. Time for Verification
پدیدآورنده : / Zohar Manna, Doron A. Peled
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. Time for Verification: Essays in Memory of Amir Pnueli
پدیدآورنده : / Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
